package newcrunch.typography;

/**
 * Class to hold the token's start and stop character position (inclusive).
 * 
 * @author WL
 */
public class TokenPosition 
{
    public int start;
    public int end;
    
    public TokenPosition(int start, int end)
    {
        this.start = start;
        this.end = end;
    }
    
    public boolean isProperSubsetOf(TokenPosition another)
    {
        return this.start > another.start && this.end < another.end;
    }
}
